From db730ecdd132306732846b1ec26d8c5a7a873563 Mon Sep 17 00:00:00 2001 From: "emellor@ewan" Date: Fri, 30 Sep 2005 17:05:08 +0100 Subject: [PATCH] Minor tidy. Signed-off-by: Ewan Mellor --- tools/python/xen/xend/XendCheckpoint.py | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/tools/python/xen/xend/XendCheckpoint.py b/tools/python/xen/xend/XendCheckpoint.py index b0e1536a6a..9c38fab5b1 100644 --- a/tools/python/xen/xend/XendCheckpoint.py +++ b/tools/python/xen/xend/XendCheckpoint.py @@ -158,12 +158,12 @@ def restore(fd): m = re.match(r"^(store-mfn) (\d+)\n$", l) if m: if dominfo.store_channel: - dominfo.setStoreRef(int(m.group(2))) - if dominfo.store_mfn >= 0: - IntroduceDomain(dominfo.getDomid(), - dominfo.store_mfn, - dominfo.store_channel.port1, - dominfo.getDomainPath()) + store_mfn = int(m.group(2)) + dominfo.setStoreRef(store_mfn) + IntroduceDomain(dominfo.getDomid(), + store_mfn, + dominfo.store_channel.port1, + dominfo.getDomainPath()) m = re.match(r"^(console-mfn) (\d+)\n$", l) if m: dominfo.setConsoleRef(int(m.group(2))) -- 2.30.2